A Constructive Approach to Nonstandard Analysis

نویسنده

  • Erik Palmgren
چکیده

In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. The theory is intended as a framework for developing elementary nonstandard analysis constructively. More specifically, the theory introduced is a conservative extension of HA” + AC. A predicate for distinguishing standard objects is added as in Nelson’s internal set theory. Weak transfer and idealisation principles are proved from the axioms. Finally, the use of the theory is illustrated by extending Bishop’s constructive analysis with infinitesimals.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A New Approach to Nonstandard Analysis

In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing  a few applications of this approach with the former methods.

متن کامل

A nonstandard proof of a lemma from constructive measure theory

The conceptual gulf between constructive analysis (in the sense of Bishop [1]) and nonstandard analysis (in the sense of Robinson [7]) is vast, despite the historical genesis of both methodologies from foundational considerations. Those who use nonstandard arguments often say of their proofs that they are “constructive modulo an ultrafilter”; implicit in this statement is the suggestion that su...

متن کامل

Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis

We propose a new model of computation based on Nonstandard Analysis. Intuitively, the role of ‘algorithm’ is played by a new notion of finite procedure, called Ω-invariance and inspired by physics, from Nonstandard Analysis. Moreover, the role of ‘proof’ is taken up by the Transfer Principle from Nonstandard Analysis. We obtain a number of results in Constructive Reverse Mathematics to illustra...

متن کامل

Remarks on a Constructive Sheaf Model of Nonstandard Analysis

The sheaves over the category of lters, with a joint cover topology, serve as a universe of sets where nonstandard analysis can be developed along constructive principles. In this paper we show that all functions between internal sets in this model are internal. We also illustrate how this model can be used by giving a constructive nonstandard proof of the Implicit Function Theorem.

متن کامل

Constructive Nonstandard Representations of Generalized Functions

Using techniques of nonstandard analysis Abraham Robinson showed that it is possible to represent each Schwartz distribution T as an integral T () = R f, where f is some nonstandard smooth function. We show that the theory based on this representation can be developed within a constructive setting.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 73  شماره 

صفحات  -

تاریخ انتشار 1995